to sum up - German English Dictionary